Inferring Flow of Control in Program Synthesis by Example
نویسندگان
چکیده
We present a supervised, interactive learning technique that infers control structures of computer programs from user-demonstrated traces. A two-stage process is applied: rst, a minimal deterministic nite automaton (DFA) M labeled by the instructions of the program is learned from a set of example traces and membership queries to the user. It accepts all pre xes of traces of the target program. The number of queries is bounded by O(k jM j), with k being the total number of instructions in the initial example traces. In the second step we parse this automaton into a high-level programming language in O(jM j) steps, replacing jumps by conditional control structures.
منابع مشابه
Optimal Power Flow in the Smart Grid Using Direct Load Control Program
This paper proposes an Optimal Power Flow (OPF) algorithm by Direct Load Control (DLC) programs to optimize the operational cost of smart grids considering various scenarios based on different constraints. The cost function includes active power production cost of available power sources and a novel flexible load curtailment cost associated with DLC programs. The load curtailment cost is based ...
متن کاملInferring polynomial invariants - with Polyinvar
Polyinvar is a tool to infer valid polynomial relations at program points in the control flow graph of Java Code. This analysis is achieved by an incremental fixpoint iteration over a set of polynomial modules, representing the weakest precondition for a generic relation of degree n at a given program point.
متن کاملDifferentiable Functional Program Interpreters
Programming by Example (PBE) is the task of inducing computer programs from input-output examples. It can be seen as a type of machine learning where the hypothesis space is the set of legal programs in some programming language. Recent work on differentiable interpreters relaxes the discrete space of programs into a continuous space so that search over programs can be performed using gradient-...
متن کاملThe Simulation and Control of Ammonia Unit of Shiraz Petrochemical Complex, Iran
The aim of this paper is the steady state and dynamic simulations of the ammonia unit of Shiraz petrochemical complex and system behavior study versus the feed flow rate change for producing a good quality product. The ammonia unit consists of the reformer units, shift converter units, carbon dioxide absorption unit, methanation unit, and ammonia synthesis unit. For this purpose, in the first s...
متن کاملThe Finite Horizon Economic Lot Scheduling in Flexible Flow Lines
This paper addresses the common cycle multi-product lot-scheduling problem in flexible flow lines (FFL) where the product demands are deterministic and constant over a finite planning horizon. Objective is minimizing the sum of setup costs, work-in-process and final products inventory holding costs per time unite while satisfying the demands without backlogging. This problem consists of a combi...
متن کامل